circumscription相关论文
Pterobryopsis,a poorly known pantropical group of mosses,is the largest genus in Pterobryaceae and has not been revi......
Recent molecular phylogenetic analyses of Primula have greatly enhanced our understanding of the infrageneric relationsh......
限制理论是形式化常识知识并进行常识推理的一种重要方法。本文主要研究将限制理论转化为面向对象逻辑语言的可能性,并实现了完成这......
面向语义Web的需求,提出了一种新的描述逻辑与逻辑程序结合的杂合系统DLclog,它从语法和语义两方面扩展了Rosati提出的DL+log系统雀DL......
该文把McCarthy的限定理论同规划识别结合起来,在限定中研究规划识别问题.证明了在一定的限制下,由观察到的现象求出的最小规划集......
本文通过应用限制到一个费协调逻辑给出一种费协调限制,费协调限制是一种费协调非单调逻辑,它能被极小化语义所刻划,并具有两方面优点......
溯因问题是人工智能中的一个重要研究方向,它在许多领域中有着广泛的应用,但在很多情形下,溯因解释的求取是非常困难的。本文提供一种......
超协调限制逻辑LPc是一种同时具有非单调性和超协调性的非经典逻辑,它可作为在不完全与不协调知识下常识推理形式化,给出了命题LPc的计算复......
限制是一种基于极小化模型的非单调逻辑,本文首先提出一种相对限制形式——基于极大化模型的限制,继而给出结合极小与极大化模型的......
本文提出用一般结构极小模型解释限定公理,并证明在此语义下,二阶限定是完备的.此外,作者还把Mott的非速归闭限定引入二阶限定,证......
基于文(1)定义的context逻辑CL,本文分别引入限制理论和缺省理论到context推理中,给出有关的定义和定理。......
<正>一、引言 早在1959年,McCart~[1]就发现常识和常识推理很难处理,因为在常识推理中当前得出的结论,可能会由于以后新事实的加入......